The paper involves the conception of Internal-procedure and External-procedure, as well the study of method of rule termination analysis in search of active mechanism.
在主动机制系统中，本文提出了内部过程和外部过程的概念，并对规则终止性分析的方法进行了研究。
In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
本文还探讨了规则分析理论，通过定义触发图、活化图和惰化图，给出一个规则终止性静态分析算法，提高了规则终止性判定的准确性。
应用推荐